well-formed formula

美 [wel fɔːrmd ˈfɔːrmjələ]英 [wel fɔːmd ˈfɔːmjələ]

well-formed formula

1

That is when A , are well-formed formulas , then A B is also a well-formed formula .

B也是合式公式。
2

MP ~ therefor has one more formal rule than does MP . That is when A , B are well-formed formulas , then A B is also a well-formed formula .

于是MP°要比MP多一条形成规则：即当A，B为合式公式时，则AB也是合式公式。
3

A logical form is a well-formed formula , a structured set of constituents , which undergoes formal logical operations determined by its structure .

一个逻辑形式就是一个完整的公式、一套有结构的构成成分以及要经过由其结构决定的形式逻辑运作。